Перевод: со всех языков на все языки

со всех языков на все языки

implicative form

См. также в других словарях:

  • 2-satisfiability — In computer science, 2 satisfiability (abbreviated as 2 SAT or just 2SAT) is the problem of determining whether a collection of two valued (Boolean or binary) variables with constraints on pairs of variables can be assigned values satisfying all… …   Wikipedia

  • Robert T. Craig (scholar) — Robert T. Craig Robert T. Craig Full name Robert T. Craig Born May 10, 1947 Rochester, New York Era 20th 21st century Region Midw …   Wikipedia

  • Implication-Realization — The Implication Realization (I R) model of melodic expectation was developed by Eugene Narmour as an alternative to Schenkerian analysis centered less on music analysis and more on cognitive aspects of expectation. The model is one of the most… …   Wikipedia

  • Monoidal t-norm logic — Monoidal t norm based logic (or shortly MTL), the logic of left continuous t norms, is one of t norm fuzzy logics. It belongs to the broader class of substructural logics, or logics of residuated lattices;[1] it extends the logic of commutative… …   Wikipedia

  • symphony — /sim feuh nee/, n., pl. symphonies. 1. Music. a. an elaborate instrumental composition in three or more movements, similar in form to a sonata but written for an orchestra and usually of far grander proportions and more varied elements. b. an… …   Universalium

  • Thoralf Skolem — Infobox Scientist name = Thoralf Skolem birth date = birth date|1887|5|23|mf=y birth place = Sandsvaer, Buskerud, Norway residence = nationality = death date = death date and age|1963|3|23|1887|5|23|mf=y death place = Oslo, Norway field =… …   Wikipedia

  • List of algebraic structures — In universal algebra, a branch of pure mathematics, an algebraic structure is a variety or quasivariety. Abstract algebra is primarily the study of algebraic structures and their properties. Some axiomatic formal systems that are neither… …   Wikipedia

  • Outline of algebraic structures — In universal algebra, a branch of pure mathematics, an algebraic structure is a variety or quasivariety. Abstract algebra is primarily the study of algebraic structures and their properties. Some axiomatic formal systems that are neither… …   Wikipedia

  • UNITED STATES LITERATURE — The Influence of the Bible and Hebrew Culture The Jewish influence on American literary expression predated the actual arrival of Jews in the United States in 1654, for the Puritan culture of New England was marked from the outset by a deep… …   Encyclopedia of Judaism

  • Contraposition (traditional logic) — In traditional logic, contraposition is a form of immediate inference in which from a given proposition another is inferred having for its subject the contradictory of the original predicate, and in some cases involving a change of quality… …   Wikipedia

  • leading — I (guiding) adjective controlling, directing, implicational, implicative, implicatory, inferential, insinuating, insinuative, instructional, instructive, referential, regulating, steering, suggestive, supervising, supervisory associated concepts …   Law dictionary

Поделиться ссылкой на выделенное

Прямая ссылка:
Нажмите правой клавишей мыши и выберите «Копировать ссылку»